ePMC - pnueli-zuck live 20

Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2105 2105
build-model-states-explored 4630 2525
build-model-states-explored 7146 2516
build-model-states-explored 9691 2545
build-model-states-explored 12256 2565
build-model-states-explored 14714 2458
build-model-states-explored 17242 2528
build-model-states-explored 19767 2525
build-model-states-explored 22325 2558
build-model-states-explored 24863 2538
build-model-states-explored 27225 2362
build-model-states-explored 29715 2490
build-model-states-explored 32184 2469
build-model-states-explored 34630 2446
build-model-states-explored 37063 2433
build-model-states-explored 39406 2343
build-model-states-explored 41887 2481
build-model-states-explored 44395 2508
build-model-states-explored 46911 2516
build-model-states-explored 49422 2511
build-model-states-explored 51585 2163
build-model-states-explored 54073 2488
build-model-states-explored 56553 2480
build-model-states-explored 59034 2481
build-model-states-explored 61521 2487
build-model-states-explored 64001 2480
build-model-states-explored 66475 2474
build-model-states-explored 68918 2443
build-model-states-explored 71364 2446
build-model-states-explored 73783 2419
build-model-states-explored 76169 2386
build-model-states-explored 78563 2394
build-model-states-explored 80919 2356
build-model-states-explored 83204 2285
build-model-states-explored 85601 2397
build-model-states-explored 88075 2474
build-model-states-explored 90580 2505
build-model-states-explored 93074 2494
build-model-states-explored 95564 2490
build-model-states-explored 98053 2489
build-model-states-explored 100539 2486
build-model-states-explored 102337 1798
build-model-states-explored 104802 2465
build-model-states-explored 107286 2484
build-model-states-explored 109776 2490
build-model-states-explored 112267 2491
build-model-states-explored 114742 2475
build-model-states-explored 117203 2461
build-model-states-explored 119652 2449
build-model-states-explored 122080 2427
build-model-states-explored 124522 2443
build-model-states-explored 126931 2409
build-model-states-explored 129395 2464
build-model-states-explored 131824 2429
build-model-states-explored 134248 2424
build-model-states-explored 136684 2436
build-model-states-explored 139101 2417
build-model-states-explored 141458 2357
build-model-states-explored 143817 2359
build-model-states-explored 146266 2449
build-model-states-explored 148700 2434
build-model-states-explored 151105 2405
build-model-states-explored 153491 2386
build-model-states-explored 155823 2332
build-model-states-explored 158146 2323
build-model-states-explored 160475 2329
build-model-states-explored 162794 2319
build-model-states-explored 165066 2272
build-model-states-explored 167400 2334
build-model-states-explored 169632 2232
build-model-states-explored 171784 2152
build-model-states-explored 173931 2147
build-model-states-explored 176179 2248
build-model-states-explored 178363 2184
build-model-states-explored 180848 2485
build-model-states-explored 183336 2488
build-model-states-explored 185804 2468
build-model-states-explored 188268 2464
build-model-states-explored 190733 2465
build-model-states-explored 193196 2463
build-model-states-explored 195617 2421
build-model-states-explored 198048 2431
build-model-states-explored 200546 2498
build-model-states-explored 202873 2327
build-model-states-explored 204188 1315
build-model-states-explored 206668 2480
build-model-states-explored 209147 2479
build-model-states-explored 211608 2461
build-model-states-explored 214055 2447
build-model-states-explored 216505 2450
build-model-states-explored 218994 2489
build-model-states-explored 221461 2467
build-model-states-explored 223936 2475
build-model-states-explored 226395 2459
build-model-states-explored 228833 2438
build-model-states-explored 231280 2447
build-model-states-explored 233749 2469
build-model-states-explored 236216 2467
build-model-states-explored 238664 2448
build-model-states-explored 241119 2455
build-model-states-explored 243586 2467
build-model-states-explored 246020 2434
build-model-states-explored 248461 2441
build-model-states-explored 250899 2438
build-model-states-explored 253287 2388
build-model-states-explored 255695 2408
build-model-states-explored 258086 2391
build-model-states-explored 260504 2418
build-model-states-explored 262905 2401
build-model-states-explored 265312 2407
build-model-states-explored 267759 2447
build-model-states-explored 270181 2422
build-model-states-explored 272617 2436
build-model-states-explored 275051 2434
build-model-states-explored 277489 2438
build-model-states-explored 279920 2431
build-model-states-explored 282356 2436
build-model-states-explored 284763 2407
build-model-states-explored 287196 2433
build-model-states-explored 289605 2409
build-model-states-explored 291978 2373
build-model-states-explored 294391 2413
build-model-states-explored 296781 2390
build-model-states-explored 299152 2371
build-model-states-explored 301573 2421
build-model-states-explored 303963 2390
build-model-states-explored 306369 2406
build-model-states-explored 308753 2384
build-model-states-explored 311111 2358
build-model-states-explored 313479 2368
build-model-states-explored 315815 2336
build-model-states-explored 318146 2331
build-model-states-explored 320460 2314
build-model-states-explored 322818 2358
build-model-states-explored 325190 2372
build-model-states-explored 327548 2358
build-model-states-explored 329886 2338
build-model-states-explored 332221 2335
build-model-states-explored 334486 2265
build-model-states-explored 336710 2224
build-model-states-explored 338981 2271
build-model-states-explored 341218 2237
build-model-states-explored 343436 2218
build-model-states-explored 345716 2280
build-model-states-explored 347976 2260
build-model-states-explored 350201 2225
build-model-states-explored 352450 2249
build-model-states-explored 354661 2211
build-model-states-explored 356784 2123
build-model-states-explored 358875 2091
build-model-states-explored 361083 2208
build-model-states-explored 363369 2286
build-model-states-explored 365620 2251
build-model-states-explored 367798 2178
build-model-states-explored 369888 2090
build-model-states-explored 371950 2062
build-model-states-explored 374406 2456
build-model-states-explored 376864 2458
build-model-states-explored 379328 2464
build-model-states-explored 381782 2454
build-model-states-explored 384227 2445
build-model-states-explored 386647 2420
build-model-states-explored 389054 2407
build-model-states-explored 391504 2450
build-model-states-explored 393979 2475
build-model-states-explored 396429 2450
build-model-states-explored 398900 2471
build-model-states-explored 401345 2445
build-model-states-explored 403787 2442
build-model-states-explored 403841 54
build-model-states-explored 406041 2200
build-model-states-explored 408472 2431
build-model-states-explored 410874 2402
build-model-states-explored 413256 2382
build-model-states-explored 415708 2452
build-model-states-explored 418182 2474
build-model-states-explored 420653 2471
build-model-states-explored 423115 2462
build-model-states-explored 425578 2463
build-model-states-explored 428031 2453
build-model-states-explored 430457 2426
build-model-states-explored 432893 2436
build-model-states-explored 435343 2450
build-model-states-explored 437803 2460
build-model-states-explored 440255 2452
build-model-states-explored 442679 2424
build-model-states-explored 445105 2426
build-model-states-explored 447548 2443
build-model-states-explored 449996 2448
build-model-states-explored 452444 2448
build-model-states-explored 454866 2422
build-model-states-explored 457298 2432
build-model-states-explored 459746 2448
build-model-states-explored 462169 2423
build-model-states-explored 464596 2427
build-model-states-explored 467019 2423
build-model-states-explored 469383 2364
build-model-states-explored 471780 2397
build-model-states-explored 474145 2365
build-model-states-explored 476548 2403
build-model-states-explored 478930 2382
build-model-states-explored 481325 2395
build-model-states-explored 483786 2461
build-model-states-explored 486238 2452
build-model-states-explored 488700 2462
build-model-states-explored 491157 2457
build-model-states-explored 493590 2433
build-model-states-explored 496009 2419
build-model-states-explored 498447 2438
build-model-states-explored 500883 2436
build-model-states-explored 503283 2400
build-model-states-explored 505744 2461
build-model-states-explored 508174 2430
build-model-states-explored 510626 2452
build-model-states-explored 513061 2435
build-model-states-explored 515489 2428
build-model-states-explored 517920 2431
build-model-states-explored 520321 2401
build-model-states-explored 522724 2403
build-model-states-explored 525106 2382
build-model-states-explored 527538 2432
build-model-states-explored 529966 2428
build-model-states-explored 532389 2423
build-model-states-explored 534783 2394
build-model-states-explored 537153 2370
build-model-states-explored 539459 2306
build-model-states-explored 541868 2409
build-model-states-explored 544228 2360
build-model-states-explored 546592 2364
build-model-states-explored 548969 2377
build-model-states-explored 551325 2356
build-model-states-explored 553613 2288
build-model-states-explored 555884 2271
build-model-states-explored 558259 2375
build-model-states-explored 560669 2410
build-model-states-explored 563027 2358
build-model-states-explored 565422 2395
build-model-states-explored 567754 2332
build-model-states-explored 570102 2348
build-model-states-explored 572448 2346
build-model-states-explored 574778 2330
build-model-states-explored 577039 2261
build-model-states-explored 579230 2191
build-model-states-explored 581489 2259
build-model-states-explored 583868 2379
build-model-states-explored 586233 2365
build-model-states-explored 588596 2363
build-model-states-explored 590985 2389
build-model-states-explored 593359 2374
build-model-states-explored 595673 2314
build-model-states-explored 597979 2306
build-model-states-explored 600350 2371
build-model-states-explored 602688 2338
build-model-states-explored 605072 2384
build-model-states-explored 607435 2363
build-model-states-explored 609735 2300
build-model-states-explored 612024 2289
build-model-states-explored 614382 2358
build-model-states-explored 616717 2335
build-model-states-explored 619050 2333
build-model-states-explored 621355 2305
build-model-states-explored 623676 2321
build-model-states-explored 626006 2330
build-model-states-explored 628301 2295
build-model-states-explored 630585 2284
build-model-states-explored 632831 2246
build-model-states-explored 635008 2177
build-model-states-explored 637199 2191
build-model-states-explored 639412 2213
build-model-states-explored 641644 2232
build-model-states-explored 643859 2215
build-model-states-explored 646079 2220
build-model-states-explored 648348 2269
build-model-states-explored 650734 2386
build-model-states-explored 653127 2393
build-model-states-explored 655515 2388
build-model-states-explored 657858 2343
build-model-states-explored 660118 2260
build-model-states-explored 662469 2351
build-model-states-explored 664807 2338
build-model-states-explored 667163 2356
build-model-states-explored 669487 2324
build-model-states-explored 671794 2307
build-model-states-explored 674092 2298
build-model-states-explored 676404 2312
build-model-states-explored 678632 2228
build-model-states-explored 680831 2199
build-model-states-explored 683106 2275
build-model-states-explored 685431 2325
build-model-states-explored 687697 2266
build-model-states-explored 689924 2227
build-model-states-explored 692175 2251
build-model-states-explored 694328 2153
build-model-states-explored 696511 2183
build-model-states-explored 698686 2175
build-model-states-explored 700858 2172
build-model-states-explored 702930 2072
build-model-states-explored 704962 2032
build-model-states-explored 706972 2010
build-model-states-explored 709270 2298
build-model-states-explored 711485 2215
build-model-states-explored 713730 2245
build-model-states-explored 715907 2177
build-model-states-explored 718149 2242
build-model-states-explored 720344 2195
build-model-states-explored 722423 2079
build-model-states-explored 724478 2055
build-model-states-explored 726674 2196
build-model-states-explored 728810 2136
build-model-states-explored 730995 2185
build-model-states-explored 733187 2192
build-model-states-explored 735273 2086
build-model-states-explored 737318 2045
build-model-states-explored 739348 2030
build-model-states-explored 741519 2171
build-model-states-explored 743655 2136
build-model-states-explored 745814 2159
build-model-states-explored 747930 2116
build-model-states-explored 750053 2123
build-model-states-explored 752169 2116
build-model-states-explored 754222 2053
build-model-states-explored 756248 2026
build-model-states-explored 758290 2042
build-model-states-explored 760271 1981
build-model-states-explored 762125 1854
build-model-states-explored 764082 1957
build-model-states-explored 765994 1912
build-model-states-explored 767944 1950
build-model-states-explored 769821 1877
build-model-states-explored 771757 1936
build-model-states-explored 773745 1988
build-model-states-explored 775828 2083
build-model-states-explored 777973 2145
build-model-states-explored 780134 2161
build-model-states-explored 782260 2126
build-model-states-explored 783625 1365
build-model-states-explored 786104 2479
build-model-states-explored 788567 2463
build-model-states-explored 791033 2466
build-model-states-explored 793494 2461
build-model-states-explored 795936 2442
build-model-states-explored 798350 2414
build-model-states-explored 800772 2422
build-model-states-explored 803201 2429
build-model-states-explored 805512 2311
build-model-states-explored 805608 96
build-model-states-explored 805608 0
build-model-states-explored 807700 2092
build-model-states-explored 810149 2449
build-model-states-explored 812594 2445
build-model-states-explored 815030 2436
build-model-states-explored 817434 2404
build-model-states-explored 819820 2386
build-model-states-explored 822250 2430
build-model-states-explored 824674 2424
build-model-states-explored 827111 2437
build-model-states-explored 829549 2438
build-model-states-explored 831935 2386
build-model-states-explored 834317 2382
build-model-states-explored 836745 2428
build-model-states-explored 839166 2421
build-model-states-explored 841567 2401
build-model-states-explored 843963 2396
build-model-states-explored 846378 2415
build-model-states-explored 848788 2410
build-model-states-explored 851172 2384
build-model-states-explored 853562 2390
build-model-states-explored 855915 2353
build-model-states-explored 858225 2310
build-model-states-explored 860586 2361
build-model-states-explored 862893 2307
build-model-states-explored 865254 2361
build-model-states-explored 867612 2358
build-model-states-explored 869957 2345
build-model-states-explored 872432 2475
build-model-states-explored 874906 2474
build-model-states-explored 877367 2461
build-model-states-explored 879842 2475
build-model-states-explored 882314 2472
build-model-states-explored 884773 2459
build-model-states-explored 887205 2432
build-model-states-explored 889651 2446
build-model-states-explored 892100 2449
build-model-states-explored 894563 2463
build-model-states-explored 897013 2450
build-model-states-explored 899458 2445
build-model-states-explored 901885 2427
build-model-states-explored 904293 2408
build-model-states-explored 906729 2436
build-model-states-explored 909170 2441
build-model-states-explored 911615 2445
build-model-states-explored 914036 2421
build-model-states-explored 916467 2431
build-model-states-explored 918913 2446
build-model-states-explored 921326 2413
build-model-states-explored 923743 2417
build-model-states-explored 926169 2426
build-model-states-explored 928529 2360
build-model-states-explored 930924 2395
build-model-states-explored 933294 2370
build-model-states-explored 935702 2408
build-model-states-explored 938103 2401
build-model-states-explored 940493 2390
build-model-states-explored 942944 2451
build-model-states-explored 945399 2455
build-model-states-explored 947838 2439
build-model-states-explored 950278 2440
build-model-states-explored 952669 2391
build-model-states-explored 955074 2405
build-model-states-explored 957480 2406
build-model-states-explored 959926 2446
build-model-states-explored 962367 2441
build-model-states-explored 964787 2420
build-model-states-explored 967207 2420
build-model-states-explored 969644 2437
build-model-states-explored 972069 2425
build-model-states-explored 974483 2414
build-model-states-explored 976903 2420
build-model-states-explored 979265 2362
build-model-states-explored 981631 2366
build-model-states-explored 984008 2377
build-model-states-explored 986393 2385
build-model-states-explored 988780 2387
build-model-states-explored 991156 2376
build-model-states-explored 993562 2406
build-model-states-explored 996009 2447
build-model-states-explored 998430 2421
build-model-states-explored 1000816 2386
build-model-states-explored 1003227 2411
build-model-states-explored 1005638 2411
build-model-states-explored 1008055 2417
build-model-states-explored 1010464 2409
build-model-states-explored 1012879 2415
build-model-states-explored 1015274 2395
build-model-states-explored 1017632 2358
build-model-states-explored 1020033 2401
build-model-states-explored 1022396 2363
build-model-states-explored 1024785 2389
build-model-states-explored 1027181 2396
build-model-states-explored 1029575 2394
build-model-states-explored 1032005 2430
build-model-states-explored 1034395 2390
build-model-states-explored 1036795 2400
build-model-states-explored 1039218 2423
build-model-states-explored 1041598 2380
build-model-states-explored 1043950 2352
build-model-states-explored 1046332 2382
build-model-states-explored 1048668 2336
build-model-states-explored 1051044 2376
build-model-states-explored 1053429 2385
build-model-states-explored 1055811 2382
build-model-states-explored 1058167 2356
build-model-states-explored 1060544 2377
build-model-states-explored 1062875 2331
build-model-states-explored 1065159 2284
build-model-states-explored 1067472 2313
build-model-states-explored 1069780 2308
build-model-states-explored 1072074 2294
build-model-states-explored 1074412 2338
build-model-states-explored 1076777 2365
build-model-states-explored 1079107 2330
build-model-states-explored 1081405 2298
build-model-states-explored 1083696 2291
build-model-states-explored 1086014 2318
build-model-states-explored 1088406 2392
build-model-states-explored 1090747 2341
build-model-states-explored 1093066 2319
build-model-states-explored 1095446 2380
build-model-states-explored 1097763 2317
build-model-states-explored 1100123 2360
build-model-states-explored 1102448 2325
build-model-states-explored 1104813 2365
build-model-states-explored 1107247 2434
build-model-states-explored 1109673 2426
build-model-states-explored 1112045 2372
build-model-states-explored 1114405 2360
build-model-states-explored 1116748 2343
build-model-states-explored 1119135 2387
build-model-states-explored 1121473 2338
build-model-states-explored 1123900 2427
build-model-states-explored 1126318 2418
build-model-states-explored 1128703 2385
build-model-states-explored 1131072 2369
build-model-states-explored 1133431 2359
build-model-states-explored 1135831 2400
build-model-states-explored 1138187 2356
build-model-states-explored 1140614 2427
build-model-states-explored 1143039 2425
build-model-states-explored 1145440 2401
build-model-states-explored 1147841 2401
build-model-states-explored 1150219 2378
build-model-states-explored 1152612 2393
build-model-states-explored 1154984 2372
build-model-states-explored 1157311 2327
build-model-states-explored 1159693 2382
build-model-states-explored 1162055 2362
build-model-states-explored 1164390 2335
build-model-states-explored 1166793 2403
build-model-states-explored 1169170 2377
build-model-states-explored 1171562 2392
build-model-states-explored 1173939 2377
build-model-states-explored 1176284 2345
build-model-states-explored 1178625 2341
build-model-states-explored 1180961 2336
build-model-states-explored 1183294 2333
build-model-states-explored 1185587 2293
build-model-states-explored 1187967 2380
build-model-states-explored 1190370 2403
build-model-states-explored 1192754 2384
build-model-states-explored 1195131 2377
build-model-states-explored 1197477 2346
build-model-states-explored 1199830 2353
build-model-states-explored 1202148 2318
build-model-states-explored 1204460 2312
build-model-states-explored 1206836 2376
build-model-states-explored 1209181 2345
build-model-states-explored 1211547 2366
build-model-states-explored 1213886 2339
build-model-states-explored 1216208 2322
build-model-states-explored 1218517 2309
build-model-states-explored 1220804 2287
build-model-states-explored 1223086 2282
build-model-states-explored 1225359 2273
build-model-states-explored 1227702 2343
build-model-states-explored 1230100 2398
build-model-states-explored 1232465 2365
build-model-states-explored 1234776 2311
build-model-states-explored 1237147 2371
build-model-states-explored 1239486 2339
build-model-states-explored 1241828 2342
build-model-states-explored 1244153 2325
build-model-states-explored 1246476 2323
build-model-states-explored 1248760 2284
build-model-states-explored 1251071 2311
build-model-states-explored 1253328 2257
build-model-states-explored 1255553 2225
build-model-states-explored 1257812 2259
build-model-states-explored 1260201 2389
build-model-states-explored 1262602 2401
build-model-states-explored 1264959 2357
build-model-states-explored 1267334 2375
build-model-states-explored 1269668 2334
build-model-states-explored 1271954 2286
build-model-states-explored 1274237 2283
build-model-states-explored 1276574 2337
build-model-states-explored 1278853 2279
build-model-states-explored 1281133 2280
build-model-states-explored 1283468 2335
build-model-states-explored 1285860 2392
build-model-states-explored 1288193 2333
build-model-states-explored 1290535 2342
build-model-states-explored 1292879 2344
build-model-states-explored 1295208 2329
build-model-states-explored 1297518 2310
build-model-states-explored 1299817 2299
build-model-states-explored 1302101 2284
build-model-states-explored 1304455 2354
build-model-states-explored 1306763 2308
build-model-states-explored 1309049 2286
build-model-states-explored 1311347 2298
build-model-states-explored 1313619 2272
build-model-states-explored 1315888 2269
build-model-states-explored 1318193 2305
build-model-states-explored 1320473 2280
build-model-states-explored 1322705 2232
build-model-states-explored 1324962 2257
build-model-states-explored 1327225 2263
build-model-states-explored 1329495 2270
build-model-states-explored 1331793 2298
build-model-states-explored 1334026 2233
build-model-states-explored 1336215 2189
build-model-states-explored 1338472 2257
build-model-states-explored 1340757 2285
build-model-states-explored 1342935 2178
build-model-states-explored 1345194 2259
build-model-states-explored 1347434 2240
build-model-states-explored 1349626 2192
build-model-states-explored 1351813 2187
build-model-states-explored 1354086 2273
build-model-states-explored 1356348 2262
build-model-states-explored 1358656 2308
build-model-states-explored 1360974 2318
build-model-states-explored 1363302 2328
build-model-states-explored 1365621 2319
build-model-states-explored 1367904 2283
build-model-states-explored 1370192 2288
build-model-states-explored 1372446 2254
build-model-states-explored 1374713 2267
build-model-states-explored 1376997 2284
build-model-states-explored 1379220 2223
build-model-states-explored 1381510 2290
build-model-states-explored 1383797 2287
build-model-states-explored 1386075 2278
build-model-states-explored 1387802 1727
build-model-states-explored 1390553 2751
build-model-states-explored 1393288 2735
build-model-states-explored 1396018 2730
build-model-states-explored 1398713 2695
build-model-states-explored 1401405 2692
build-model-states-explored 1404149 2744
build-model-states-explored 1406899 2750
build-model-states-explored 1409609 2710
build-model-states-explored 1412309 2700
build-model-states-explored 1414926 2617
build-model-states-explored 1417618 2692
build-model-states-explored 1420295 2677
build-model-states-explored 1422960 2665
build-model-states-explored 1425623 2663
build-model-states-explored 1428268 2645
build-model-states-explored 1430823 2555
build-model-states-explored 1433386 2563
build-model-states-explored 1436108 2722
build-model-states-explored 1438757 2649
build-model-states-explored 1441449 2692
build-model-states-explored 1444102 2653
build-model-states-explored 1446739 2637
build-model-states-explored 1449377 2638
build-model-states-explored 1451993 2616
build-model-states-explored 1454498 2505
build-model-states-explored 1457014 2516
build-model-states-explored 1459762 2748
build-model-states-explored 1462450 2688
build-model-states-explored 1465131 2681
build-model-states-explored 1467826 2695
build-model-states-explored 1470501 2675
build-model-states-explored 1473103 2602
build-model-states-explored 1475713 2610
build-model-states-explored 1478369 2656
build-model-states-explored 1481026 2657
build-model-states-explored 1483678 2652
build-model-states-explored 1486259 2581
build-model-states-explored 1488818 2559
build-model-states-explored 1491453 2635
build-model-states-explored 1494079 2626
build-model-states-explored 1496687 2608
build-model-states-explored 1499263 2576
build-model-states-explored 1501869 2606
build-model-states-explored 1504440 2571
build-model-states-explored 1506996 2556
build-model-states-explored 1509543 2547
build-model-states-explored 1511994 2451
build-model-states-explored 1514483 2489
build-model-states-explored 1516922 2439
build-model-states-explored 1519439 2517
build-model-states-explored 1521910 2471
build-model-states-explored 1524392 2482
build-model-states-explored 1527098 2706
build-model-states-explored 1529800 2702
build-model-states-explored 1532465 2665
build-model-states-explored 1535085 2620
build-model-states-explored 1537657 2572
build-model-states-explored 1540306 2649
build-model-states-explored 1542949 2643
build-model-states-explored 1545568 2619
build-model-states-explored 1548178 2610
build-model-states-explored 1550748 2570
build-model-states-explored 1553320 2572
build-model-states-explored 1555826 2506
build-model-states-explored 1558311 2485
build-model-states-explored 1560900 2589
build-model-states-explored 1563478 2578
build-model-states-explored 1565973 2495
build-model-states-explored 1568546 2573
build-model-states-explored 1571027 2481
build-model-states-explored 1573484 2457
build-model-states-explored 1575963 2479
build-model-states-explored 1578406 2443
build-model-states-explored 1580756 2350
build-model-states-explored 1583053 2297
build-model-states-explored 1585628 2575
build-model-states-explored 1588156 2528
build-model-states-explored 1590662 2506
build-model-states-explored 1593181 2519
build-model-states-explored 1595716 2535
build-model-states-explored 1598169 2453
build-model-states-explored 1600590 2421
build-model-states-explored 1603086 2496
build-model-states-explored 1603649 563
build-model-states-explored 1603649 0
build-model-states-explored 1603649 0
build-model-states-explored 1603649 0
build-model-states-explored 1604983 1334
build-model-states-explored 1607454 2471
build-model-states-explored 1609948 2494
build-model-states-explored 1612323 2375
build-model-states-explored 1614684 2361
build-model-states-explored 1617117 2433
build-model-states-explored 1618637 1520
build-model-states-explored 1621152 2515
build-model-states-explored 1623950 2798
build-model-states-explored 1626752 2802
build-model-states-explored 1629568 2816
build-model-states-explored 1632355 2787
build-model-states-explored 1635152 2797
build-model-states-explored 1637905 2753
build-model-states-explored 1640651 2746
build-model-states-explored 1643396 2745
build-model-states-explored 1646150 2754
build-model-states-explored 1648906 2756
build-model-states-explored 1651695 2789
build-model-states-explored 1654517 2822
build-model-states-explored 1657355 2838
build-model-states-explored 1660194 2839
build-model-states-explored 1663033 2839
build-model-states-explored 1665860 2827
build-model-states-explored 1668679 2819
build-model-states-explored 1671496 2817
build-model-states-explored 1674279 2783
build-model-states-explored 1677054 2775
build-model-states-explored 1679850 2796
build-model-states-explored 1682693 2843
build-model-states-explored 1685526 2833
build-model-states-explored 1688337 2811
build-model-states-explored 1691148 2811
build-model-states-explored 1693924 2776
build-model-states-explored 1696683 2759
build-model-states-explored 1699495 2812
build-model-states-explored 1702293 2798
build-model-states-explored 1705096 2803
build-model-states-explored 1707866 2770
build-model-states-explored 1710619 2753
build-model-states-explored 1713403 2784
build-model-states-explored 1716184 2781
build-model-states-explored 1718943 2759
build-model-states-explored 1721693 2750
build-model-states-explored 1724480 2787
build-model-states-explored 1727234 2754
build-model-states-explored 1729994 2760
build-model-states-explored 1732709 2715
build-model-states-explored 1735388 2679
build-model-states-explored 1738094 2706
build-model-states-explored 1740801 2707
build-model-states-explored 1743497 2696
build-model-states-explored 1746197 2700
build-model-states-explored 1749032 2835
build-model-states-explored 1751886 2854
build-model-states-explored 1754718 2832
build-model-states-explored 1757564 2846
build-model-states-explored 1760408 2844
build-model-states-explored 1763226 2818
build-model-states-explored 1766044 2818
build-model-states-explored 1768867 2823
build-model-states-explored 1771700 2833
build-model-states-explored 1774533 2833
build-model-states-explored 1777363 2830
build-model-states-explored 1780153 2790
build-model-states-explored 1782955 2802
build-model-states-explored 1785740 2785
build-model-states-explored 1788555 2815
build-model-states-explored 1791353 2798
build-model-states-explored 1794165 2812
build-model-states-explored 1796968 2803
build-model-states-explored 1799765 2797
build-model-states-explored 1802562 2797
build-model-states-explored 1805299 2737
build-model-states-explored 1808066 2767
build-model-states-explored 1810821 2755
build-model-states-explored 1813595 2774
build-model-states-explored 1816345 2750
build-model-states-explored 1819159 2814
build-model-states-explored 1821992 2833
build-model-states-explored 1824813 2821
build-model-states-explored 1827611 2798
build-model-states-explored 1830386 2775
build-model-states-explored 1833161 2775
build-model-states-explored 1835976 2815
build-model-states-explored 1838790 2814
build-model-states-explored 1841579 2789
build-model-states-explored 1844370 2791
build-model-states-explored 1847192 2822
build-model-states-explored 1849977 2785
build-model-states-explored 1852769 2792
build-model-states-explored 1855525 2756
build-model-states-explored 1858263 2738
build-model-states-explored 1861009 2746
build-model-states-explored 1863768 2759
build-model-states-explored 1866520 2752
build-model-states-explored 1869282 2762
build-model-states-explored 1872094 2812
build-model-states-explored 1874886 2792
build-model-states-explored 1877646 2760
build-model-states-explored 1880408 2762
build-model-states-explored 1883193 2785
build-model-states-explored 1885983 2790
build-model-states-explored 1888764 2781
build-model-states-explored 1891546 2782
build-model-states-explored 1894264 2718
build-model-states-explored 1897015 2751
build-model-states-explored 1899763 2748
build-model-states-explored 1902504 2741
build-model-states-explored 1905252 2748
build-model-states-explored 1908050 2798
build-model-states-explored 1910802 2752
build-model-states-explored 1913565 2763
build-model-states-explored 1916355 2790
build-model-states-explored 1919092 2737
build-model-states-explored 1921835 2743
build-model-states-explored 1924567 2732
build-model-states-explored 1927319 2752
build-model-states-explored 1930075 2756
build-model-states-explored 1932829 2754
build-model-states-explored 1935569 2740
build-model-states-explored 1938303 2734
build-model-states-explored 1940992 2689
build-model-states-explored 1943655 2663
build-model-states-explored 1946319 2664
build-model-states-explored 1948963 2644
build-model-states-explored 1951672 2709
build-model-states-explored 1954395 2723
build-model-states-explored 1957075 2680
build-model-states-explored 1959739 2664
build-model-states-explored 1962407 2668
build-model-states-explored 1965168 2761
build-model-states-explored 1967851 2683
build-model-states-explored 1970538 2687
build-model-states-explored 1973246 2708
build-model-states-explored 1975946 2700
build-model-states-explored 1978645 2699
build-model-states-explored 1981379 2734
build-model-states-explored 1984241 2862
build-model-states-explored 1987036 2795
build-model-states-explored 1989806 2770
build-model-states-explored 1992598 2792
build-model-states-explored 1995389 2791
build-model-states-explored 1998222 2833
build-model-states-explored 2001012 2790
build-model-states-explored 2003813 2801
build-model-states-explored 2006589 2776
build-model-states-explored 2009422 2833
build-model-states-explored 2012231 2809
build-model-states-explored 2015032 2801
build-model-states-explored 2017816 2784
build-model-states-explored 2020584 2768
build-model-states-explored 2023307 2723
build-model-states-explored 2026118 2811
build-model-states-explored 2028895 2777
build-model-states-explored 2031668 2773
build-model-states-explored 2034440 2772
build-model-states-explored 2037195 2755
build-model-states-explored 2039914 2719
build-model-states-explored 2042624 2710
build-model-states-explored 2045329 2705
build-model-states-explored 2048103 2774
build-model-states-explored 2050856 2753
build-model-states-explored 2053608 2752
build-model-states-explored 2056375 2767
build-model-states-explored 2059124 2749
build-model-states-explored 2061910 2786
build-model-states-explored 2064666 2756
build-model-states-explored 2067415 2749
build-model-states-explored 2070153 2738
build-model-states-explored 2072831 2678
build-model-states-explored 2075516 2685
build-model-states-explored 2078260 2744
build-model-states-explored 2081101 2841
build-model-states-explored 2083913 2812
build-model-states-explored 2086730 2817
build-model-states-explored 2089524 2794
build-model-states-explored 2092313 2789
build-model-states-explored 2095098 2785
build-model-states-explored 2097832 2734
build-model-states-explored 2100581 2749
build-model-states-explored 2103361 2780
build-model-states-explored 2106183 2822
build-model-states-explored 2108956 2773
build-model-states-explored 2111696 2740
build-model-states-explored 2114485 2789
build-model-states-explored 2117215 2730
build-model-states-explored 2119957 2742
build-model-states-explored 2122721 2764
build-model-states-explored 2125511 2790
build-model-states-explored 2128274 2763
build-model-states-explored 2131024 2750
build-model-states-explored 2133764 2740
build-model-states-explored 2136499 2735
build-model-states-explored 2139286 2787
build-model-states-explored 2142032 2746
build-model-states-explored 2144765 2733
build-model-states-explored 2147506 2741
build-model-states-explored 2150272 2766
build-model-states-explored 2152966 2694
build-model-states-explored 2155629 2663
build-model-states-explored 2158352 2723
build-model-states-explored 2161043 2691
build-model-states-explored 2163705 2662
build-model-states-explored 2166429 2724
build-model-states-explored 2169134 2705
build-model-states-explored 2171803 2669
build-model-states-explored 2174499 2696
build-model-states-explored 2177227 2728
build-model-states-explored 2180008 2781
build-model-states-explored 2182793 2785
build-model-states-explored 2185558 2765
build-model-states-explored 2188289 2731
build-model-states-explored 2191013 2724
build-model-states-explored 2193782 2769
build-model-states-explored 2196544 2762
build-model-states-explored 2199298 2754
build-model-states-explored 2202036 2738
build-model-states-explored 2204771 2735
build-model-states-explored 2207476 2705
build-model-states-explored 2210123 2647
build-model-states-explored 2212830 2707
build-model-states-explored 2215563 2733
build-model-states-explored 2218221 2658
build-model-states-explored 2220928 2707
build-model-states-explored 2223583 2655
build-model-states-explored 2226225 2642
build-model-states-explored 2228876 2651
build-model-states-explored 2231496 2620
build-model-states-explored 2233988 2492
build-model-states-explored 2236502 2514
build-model-states-explored 2239280 2778
build-model-states-explored 2242008 2728
build-model-states-explored 2244728 2720
build-model-states-explored 2247456 2728
build-model-states-explored 2250163 2707
build-model-states-explored 2252780 2617
build-model-states-explored 2255431 2651
build-model-states-explored 2258138 2707
build-model-states-explored 2260839 2701
build-model-states-explored 2263537 2698
build-model-states-explored 2266146 2609
build-model-states-explored 2268755 2609
build-model-states-explored 2271442 2687
build-model-states-explored 2274134 2692
build-model-states-explored 2276759 2625
build-model-states-explored 2279378 2619
build-model-states-explored 2282033 2655
build-model-states-explored 2284644 2611
build-model-states-explored 2287271 2627
build-model-states-explored 2289843 2572
build-model-states-explored 2292322 2479
build-model-states-explored 2294879 2557
build-model-states-explored 2297411 2532
build-model-states-explored 2299924 2513
build-model-states-explored 2302462 2538
build-model-states-explored 2305135 2673
build-model-states-explored 2307864 2729
build-model-states-explored 2310605 2741
build-model-states-explored 2313327 2722
build-model-states-explored 2316069 2742
build-model-states-explored 2318771 2702
build-model-states-explored 2321464 2693
build-model-states-explored 2324156 2692
build-model-states-explored 2326777 2621
build-model-states-explored 2329381 2604
build-model-states-explored 2331991 2610
build-model-states-explored 2334744 2753
build-model-states-explored 2337442 2698
build-model-states-explored 2340132 2690
build-model-states-explored 2342833 2701
build-model-states-explored 2345508 2675
build-model-states-explored 2348078 2570
build-model-states-explored 2350679 2601
build-model-states-explored 2353365 2686
build-model-states-explored 2356034 2669
build-model-states-explored 2358706 2672
build-model-states-explored 2361292 2586
build-model-states-explored 2363855 2563
build-model-states-explored 2366523 2668
build-model-states-explored 2369168 2645
build-model-states-explored 2371776 2608
build-model-states-explored 2374369 2593
build-model-states-explored 2376990 2621
build-model-states-explored 2379577 2587
build-model-states-explored 2382164 2587
build-model-states-explored 2384728 2564
build-model-states-explored 2387147 2419
build-model-states-explored 2389646 2499
build-model-states-explored 2392070 2424
build-model-states-explored 2394577 2507
build-model-states-explored 2397092 2515
build-model-states-explored 2399620 2528
build-model-states-explored 2402390 2770
build-model-states-explored 2405149 2759
build-model-states-explored 2407876 2727
build-model-states-explored 2410599 2723
build-model-states-explored 2413337 2738
build-model-states-explored 2416018 2681
build-model-states-explored 2418691 2673
build-model-states-explored 2421387 2696
build-model-states-explored 2424120 2733
build-model-states-explored 2426831 2711
build-model-states-explored 2429545 2714
build-model-states-explored 2432136 2591
build-model-states-explored 2434784 2648
build-model-states-explored 2437499 2715
build-model-states-explored 2440199 2700
build-model-states-explored 2442866 2667
build-model-states-explored 2445539 2673
build-model-states-explored 2448245 2706
build-model-states-explored 2450839 2594
build-model-states-explored 2453500 2661
build-model-states-explored 2456098 2598
build-model-states-explored 2458638 2540
build-model-states-explored 2461246 2608
build-model-states-explored 2463836 2590
build-model-states-explored 2466420 2584
build-model-states-explored 2468980 2560
build-model-states-explored 2471669 2689
build-model-states-explored 2474406 2737
build-model-states-explored 2477095 2689
build-model-states-explored 2479779 2684
build-model-states-explored 2482361 2582
build-model-states-explored 2484969 2608
build-model-states-explored 2487629 2660
build-model-states-explored 2490303 2674
build-model-states-explored 2492978 2675
build-model-states-explored 2495624 2646
build-model-states-explored 2498297 2673
build-model-states-explored 2500957 2660
build-model-states-explored 2503589 2632
build-model-states-explored 2506239 2650
build-model-states-explored 2508773 2534
build-model-states-explored 2511327 2554
build-model-states-explored 2513859 2532
build-model-states-explored 2516435 2576
build-model-states-explored 2518994 2559
build-model-states-explored 2521570 2576
build-model-states-explored 2524283 2713
build-model-states-explored 2526946 2663
build-model-states-explored 2529534 2588
build-model-states-explored 2532117 2583
build-model-states-explored 2534731 2614
build-model-states-explored 2537374 2643
build-model-states-explored 2540017 2643
build-model-states-explored 2542671 2654
build-model-states-explored 2545267 2596
build-model-states-explored 2547816 2549
build-model-states-explored 2550386 2570
build-model-states-explored 2552967 2581
build-model-states-explored 2555543 2576
build-model-states-explored 2558120 2577
build-model-states-explored 2560789 2669
build-model-states-explored 2563340 2551
build-model-states-explored 2565908 2568
build-model-states-explored 2568529 2621
build-model-states-explored 2571100 2571
build-model-states-explored 2573633 2533
build-model-states-explored 2576198 2565
build-model-states-explored 2578779 2581
build-model-states-explored 2581314 2535
build-model-states-explored 2583873 2559
build-model-states-explored 2586458 2585
build-model-states-explored 2588994 2536
build-model-states-explored 2591516 2522
build-model-states-explored 2593954 2438
build-model-states-explored 2596380 2426
build-model-states-explored 2598785 2405
build-model-states-explored 2601190 2405
build-model-states-explored 2603701 2511
build-model-states-explored 2606213 2512
build-model-states-explored 2608738 2525
build-model-states-explored 2611151 2413
build-model-states-explored 2613546 2395
build-model-states-explored 2616069 2523
build-model-states-explored 2618645 2576
build-model-states-explored 2621069 2424
build-model-states-explored 2623578 2509
build-model-states-explored 2626089 2511
build-model-states-explored 2628589 2500
build-model-states-explored 2631053 2464
build-model-states-explored 2633574 2521
build-model-states-explored 2636320 2746
build-model-states-explored 2639001 2681
build-model-states-explored 2641712 2711
build-model-states-explored 2644373 2661
build-model-states-explored 2647125 2752
build-model-states-explored 2649835 2710
build-model-states-explored 2652495 2660
build-model-states-explored 2655232 2737
build-model-states-explored 2657936 2704
build-model-states-explored 2660541 2605
build-model-states-explored 2663215 2674
build-model-states-explored 2665843 2628
build-model-states-explored 2668504 2661
build-model-states-explored 2671123 2619
build-model-states-explored 2673708 2585
build-model-states-explored 2676314 2606
build-model-states-explored 2678862 2548
build-model-states-explored 2681314 2452
build-model-states-explored 2683856 2542
build-model-states-explored 2686584 2728
build-model-states-explored 2689272 2688
build-model-states-explored 2691939 2667
build-model-states-explored 2694600 2661
build-model-states-explored 2697280 2680
build-model-states-explored 2699936 2656
build-model-states-explored 2702572 2636
build-model-states-explored 2705165 2593
build-model-states-explored 2707745 2580
build-model-states-explored 2710412 2667
build-model-states-explored 2713097 2685
build-model-states-explored 2715710 2613
build-model-states-explored 2718345 2635
build-model-states-explored 2721009 2664
build-model-states-explored 2723627 2618
build-model-states-explored 2726182 2555
build-model-states-explored 2728790 2608
build-model-states-explored 2731482 2692
build-model-states-explored 2734090 2608
build-model-states-explored 2736704 2614
build-model-states-explored 2739255 2551
build-model-states-explored 2741797 2542
build-model-states-explored 2744392 2595
build-model-states-explored 2747015 2623
build-model-states-explored 2749598 2583
build-model-states-explored 2752150 2552
build-model-states-explored 2754748 2598
build-model-states-explored 2757350 2602
build-model-states-explored 2759863 2513
build-model-states-explored 2762321 2458
build-model-states-explored 2764856 2535
build-model-states-explored 2767318 2462
build-model-states-explored 2769819 2501
build-model-states-explored 2772163 2344
build-model-states-explored 2774707 2544
build-model-states-explored 2777280 2573
build-model-states-explored 2779822 2542
build-model-states-explored 2782381 2559
build-model-states-explored 2785006 2625
build-model-states-explored 2787623 2617
build-model-states-explored 2790225 2602
build-model-states-explored 2792809 2584
build-model-states-explored 2795368 2559
build-model-states-explored 2797903 2535
build-model-states-explored 2800463 2560
build-model-states-explored 2802988 2525
build-model-states-explored 2805454 2466
build-model-states-explored 2807879 2425
build-model-states-explored 2810300 2421
build-model-states-explored 2812842 2542
build-model-states-explored 2815431 2589
build-model-states-explored 2817967 2536
build-model-states-explored 2820464 2497
build-model-states-explored 2823017 2553
build-model-states-explored 2825499 2482
build-model-states-explored 2827833 2334
build-model-states-explored 2830173 2340
build-model-states-explored 2832719 2546
build-model-states-explored 2835165 2446
build-model-states-explored 2837670 2505
build-model-states-explored 2840019 2349
build-model-states-explored 2842309 2290
build-model-states-explored 2844657 2348
build-model-states-explored 2847082 2425
build-model-states-explored 2849580 2498
build-model-states-explored 2851942 2362
build-model-states-explored 2854330 2388
build-model-states-explored 2856763 2433
build-model-states-explored 2859146 2383
build-model-states-explored 2861478 2332
build-model-states-explored 2863834 2356
build-model-states-explored 2866052 2218
build-model-states-explored 2868250 2198
build-model-states-explored 2870501 2251
build-model-states-explored 2872783 2282
build-model-states-explored 2874988 2205
build-model-states-explored 2877274 2286
build-model-states-explored 2879645 2371
build-model-states-explored 2882299 2654
build-model-states-explored 2884931 2632
build-model-states-explored 2887503 2572
build-model-states-explored 2890097 2594
build-model-states-explored 2892661 2564
build-model-states-explored 2895125 2464
build-model-states-explored 2897609 2484
build-model-states-explored 2900075 2466
build-model-states-explored 2902693 2618
build-model-states-explored 2905205 2512
build-model-states-explored 2907790 2585
build-model-states-explored 2910298 2508
build-model-states-explored 2912737 2439
build-model-states-explored 2915197 2460
build-model-states-explored 2917740 2543
build-model-states-explored 2920301 2561
build-model-states-explored 2922802 2501
build-model-states-explored 2925313 2511
build-model-states-explored 2927843 2530
build-model-states-explored 2930266 2423
build-model-states-explored 2932708 2442
build-model-states-explored 2935165 2457
build-model-states-explored 2937423 2258
build-model-states-explored 2939787 2364
build-model-states-explored 2942087 2300
build-model-states-explored 2944472 2385
build-model-states-explored 2946809 2337
build-model-states-explored 2949190 2381
build-model-states-explored 2951744 2554
build-model-states-explored 2954336 2592
build-model-states-explored 2956859 2523
build-model-states-explored 2959348 2489
build-model-states-explored 2961704 2356
build-model-states-explored 2964053 2349
build-model-states-explored 2966404 2351
build-model-states-explored 2968944 2540
build-model-states-explored 2971463 2519
build-model-states-explored 2973949 2486
build-model-states-explored 2976404 2455
build-model-states-explored 2978936 2532
build-model-states-explored 2981361 2425
build-model-states-explored 2983756 2395
build-model-states-explored 2986164 2408
build-model-states-explored 2988440 2276
build-model-states-explored 2990692 2252
build-model-states-explored 2992996 2304
build-model-states-explored 2995341 2345
build-model-states-explored 2997630 2289
build-model-states-explored 2999951 2321
build-model-states-explored 3002358 2407
build-model-states-explored 3004890 2532
build-model-states-explored 3007313 2423
build-model-states-explored 3009625 2312
build-model-states-explored 3011954 2329
build-model-states-explored 3014335 2381
build-model-states-explored 3016832 2497
build-model-states-explored 3019278 2446
build-model-states-explored 3021725 2447
build-model-states-explored 3024193 2468
build-model-states-explored 3026472 2279
build-model-states-explored 3028890 2418
build-model-states-explored 3031203 2313
build-model-states-explored 3033571 2368
build-model-states-explored 3035940 2369
build-model-states-explored 3038365 2425
build-model-states-explored 3040875 2510
build-model-states-explored 3043148 2273
build-model-states-explored 3045453 2305
build-model-states-explored 3047825 2372
build-model-states-explored 3050210 2385
build-model-states-explored 3052413 2203
build-model-states-explored 3054742 2329
build-model-states-explored 3056984 2242
build-model-states-explored 3059333 2349
build-model-states-explored 3061606 2273
build-model-states-explored 3063919 2313
build-model-states-explored 3066263 2344
build-model-states-explored 3068488 2225
build-model-states-explored 3070766 2278
build-model-states-explored 3073037 2271
build-model-states-explored 3075047 2010
build-model-states-explored 3077237 2190
build-model-states-explored 3079295 2058
build-model-states-explored 3081472 2177
build-model-states-explored 3083763 2291
build-model-states-explored 3085986 2223
build-model-states-explored 3088284 2298
build-model-states-explored 3090321 2037
build-model-states-explored 3092490 2169
build-model-states-explored 3094653 2163
build-model-states-explored 3097039 2386
build-model-states-explored 3099274 2235
build-model-states-explored 3101362 2088
build-model-states-explored 3103546 2184
build-model-states-explored 3105784 2238
build-model-states-explored 3108042 2258
build-model-states-explored 3110286 2244
build-model-states-explored 3112544 2258
build-model-states-explored 3114997 2453
build-model-states-explored 3117551 2554
build-model-states-explored 3120031 2480
build-model-states-explored 3122510 2479
build-model-states-explored 3125050 2540
build-model-states-explored 3127464 2414
build-model-states-explored 3130041 2577
build-model-states-explored 3132531 2490
build-model-states-explored 3134946 2415
build-model-states-explored 3137413 2467
build-model-states-explored 3139808 2395
build-model-states-explored 3142276 2468
build-model-states-explored 3144684 2408
build-model-states-explored 3146971 2287
build-model-states-explored 3149271 2300
build-model-states-explored 3151562 2291
build-model-states-explored 3154028 2466
build-model-states-explored 3156501 2473
build-model-states-explored 3158838 2337
build-model-states-explored 3161295 2457
build-model-states-explored 3163715 2420
build-model-states-explored 3166025 2310
build-model-states-explored 3168301 2276
build-model-states-explored 3170586 2285
build-model-states-explored 3172942 2356
build-model-states-explored 3175298 2356
build-model-states-explored 3177600 2302
build-model-states-explored 3180012 2412
build-model-states-explored 3182364 2352
build-model-states-explored 3184710 2346
build-model-states-explored 3187095 2385
build-model-states-explored 3189530 2435
build-model-states-explored 3191836 2306
build-model-states-explored 3194064 2228
build-model-states-explored 3196344 2280
build-model-states-explored 3198607 2263
build-model-states-explored 3199935 1328
build-model-states-explored 3200734 799
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3200734 0
build-model-states-explored 3201833 1099
build-model-states-explored 3203975 2142
build-model-states-explored 3206114 2139
build-model-states-explored 3208315 2201
build-model-states-explored 3210501 2186
build-model-states-explored 3212619 2118
build-model-states-explored 3214856 2237
build-model-states-explored 3217084 2228
build-model-states-explored 3219338 2254
build-model-states-explored 3221486 2148
build-model-states-explored 3223695 2209
build-model-states-explored 3225832 2137
build-model-states-explored 3228144 2312
build-model-states-explored 3230664 2520
build-model-states-explored 3233086 2422
build-model-states-explored 3235468 2382
build-model-states-explored 3237834 2366
build-model-states-explored 3240216 2382
build-model-states-explored 3242519 2303
build-model-states-explored 3244772 2253
build-model-states-explored 3247039 2267
build-model-states-explored 3249386 2347
build-model-states-explored 3251747 2361
build-model-states-explored 3254076 2329
build-model-states-explored 3256418 2342
build-model-states-explored 3258663 2245
build-model-states-explored 3260839 2176
build-model-states-explored 3263075 2236
build-model-states-explored 3265389 2314
build-model-states-explored 3267699 2310
build-model-states-explored 3270018 2319
build-model-states-explored 3272278 2260
build-model-states-explored 3274599 2321
build-model-states-explored 3276848 2249
build-model-states-explored 3279063 2215
build-model-states-explored 3281302 2239
build-model-states-explored 3283448 2146
build-model-states-explored 3285422 1974
build-model-states-explored 3287507 2085
build-model-states-explored 3289538 2031
build-model-states-explored 3291698 2160
build-model-states-explored 3293755 2057
build-model-states-explored 3295856 2101
build-model-states-explored 3297971 2115
build-model-states-explored 3300440 2469
build-model-states-explored 3302765 2325
build-model-states-explored 3305041 2276
build-model-states-explored 3307258 2217
build-model-states-explored 3309302 2044
build-model-states-explored 3311321 2019
build-model-states-explored 3313415 2094
build-model-states-explored 3315692 2277
build-model-states-explored 3317870 2178
build-model-states-explored 3320164 2294
build-model-states-explored 3322360 2196
build-model-states-explored 3324566 2206
build-model-states-explored 3326875 2309
build-model-states-explored 3329032 2157
build-model-states-explored 3331173 2141
build-model-states-explored 3333349 2176
build-model-states-explored 3335343 1994
build-model-states-explored 3337274 1931
build-model-states-explored 3339302 2028
build-model-states-explored 3341251 1949
build-model-states-explored 3343339 2088
build-model-states-explored 3345331 1992
build-model-states-explored 3347390 2059
build-model-states-explored 3349425 2035
build-model-states-explored 3351813 2388
build-model-states-explored 3353980 2167
build-model-states-explored 3356041 2061
build-model-states-explored 3358038 1997
build-model-states-explored 3360081 2043
build-model-states-explored 3362158 2077
build-model-states-explored 3364308 2150
build-model-states-explored 3366487 2179
build-model-states-explored 3368634 2147
build-model-states-explored 3370849 2215
build-model-states-explored 3372960 2111
build-model-states-explored 3374959 1999
build-model-states-explored 3377133 2174
build-model-states-explored 3379165 2032
build-model-states-explored 3381219 2054
build-model-states-explored 3383325 2106
build-model-states-explored 3385455 2130
build-model-states-explored 3387751 2296
build-model-states-explored 3389789 2038
build-model-states-explored 3391812 2023
build-model-states-explored 3393824 2012
build-model-states-explored 3395943 2119
build-model-states-explored 3397974 2031
build-model-states-explored 3399880 1906
build-model-states-explored 3401887 2007
build-model-states-explored 3403830 1943
build-model-states-explored 3405828 1998
build-model-states-explored 3407805 1977
build-model-states-explored 3409826 2021
build-model-states-explored 3411873 2047
build-model-states-explored 3413082 1209
build-model-states-explored 3413082 0
build-model-states-explored 3415787 2705
build-model-states-explored 3418497 2710
build-model-states-explored 3421173 2676
build-model-states-explored 3423808 2635
build-model-states-explored 3426473 2665
build-model-states-explored 3429128 2655
build-model-states-explored 3431811 2683
build-model-states-explored 3434518 2707
build-model-states-explored 3437205 2687
build-model-states-explored 3439854 2649
build-model-states-explored 3442497 2643
build-model-states-explored 3445232 2735
build-model-states-explored 3447929 2697
build-model-states-explored 3450603 2674
build-model-states-explored 3453319 2716
build-model-states-explored 3455994 2675
build-model-states-explored 3458674 2680
build-model-states-explored 3461352 2678
build-model-states-explored 3464159 2807
build-model-states-explored 3466913 2754
build-model-states-explored 3469718 2805
build-model-states-explored 3472509 2791
build-model-states-explored 3475303 2794
build-model-states-explored 3478084 2781
build-model-states-explored 3480865 2781
build-model-states-explored 3483644 2779
build-model-states-explored 3486400 2756
build-model-states-explored 3489156 2756
build-model-states-explored 3491927 2771
build-model-states-explored 3494719 2792
build-model-states-explored 3497499 2780
build-model-states-explored 3500266 2767
build-model-states-explored 3503031 2765
build-model-states-explored 3505783 2752
build-model-states-explored 3508577 2794
build-model-states-explored 3511354 2777
build-model-states-explored 3514123 2769
build-model-states-explored 3516851 2728
build-model-states-explored 3519580 2729
build-model-states-explored 3522270 2690
build-model-states-explored 3524996 2726
build-model-states-explored 3527724 2728
build-model-states-explored 3530451 2727
build-model-states-explored 3533187 2736
build-model-states-explored 3535939 2752
build-model-states-explored 3538691 2752
build-model-states-explored 3541429 2738
build-model-states-explored 3544154 2725
build-model-states-explored 3546918 2764
build-model-states-explored 3549706 2788
build-model-states-explored 3552471 2765
build-model-states-explored 3555251 2780
build-model-states-explored 3557992 2741
build-model-states-explored 3560733 2741
build-model-states-explored 3563468 2735
build-model-states-explored 3566238 2770
build-model-states-explored 3569004 2766
build-model-states-explored 3571757 2753
build-model-states-explored 3574519 2762
build-model-states-explored 3577279 2760
build-model-states-explored 3580003 2724
build-model-states-explored 3582728 2725
build-model-states-explored 3585413 2685
build-model-states-explored 3588111 2698
build-model-states-explored 3590810 2699
build-model-states-explored 3593535 2725
build-model-states-explored 3596244 2709
build-model-states-explored 3598979 2735
build-model-states-explored 3601759 2780
build-model-states-explored 3604505 2746
build-model-states-explored 3607242 2737
build-model-states-explored 3609970 2728
build-model-states-explored 3612737 2767
build-model-states-explored 3615484 2747
build-model-states-explored 3618235 2751
build-model-states-explored 3620970 2735
build-model-states-explored 3623675 2705
build-model-states-explored 3626403 2728
build-model-states-explored 3629127 2724
build-model-states-explored 3631847 2720
build-model-states-explored 3634566 2719
build-model-states-explored 3637338 2772
build-model-states-explored 3640079 2741
build-model-states-explored 3642828 2749
build-model-states-explored 3645580 2752
build-model-states-explored 3648284 2704
build-model-states-explored 3651003 2719
build-model-states-explored 3653668 2665
build-model-states-explored 3656390 2722
build-model-states-explored 3659113 2723
build-model-states-explored 3661843 2730
build-model-states-explored 3664565 2722
build-model-states-explored 3667280 2715
build-model-states-explored 3669961 2681
build-model-states-explored 3672612 2651
build-model-states-explored 3675268 2656
build-model-states-explored 3677899 2631
build-model-states-explored 3680609 2710
build-model-states-explored 3683318 2709
build-model-states-explored 3685983 2665
build-model-states-explored 3688642 2659
build-model-states-explored 3691285 2643
build-model-states-explored 3694011 2726
build-model-states-explored 3696691 2680
build-model-states-explored 3699375 2684
build-model-states-explored 3702072 2697
build-model-states-explored 3704746 2674
build-model-states-explored 3707409 2663
build-model-states-explored 3710101 2692
build-model-states-explored 3712856 2755
build-model-states-explored 3715620 2764
build-model-states-explored 3718386 2766
build-model-states-explored 3721129 2743
build-model-states-explored 3723886 2757
build-model-states-explored 3726627 2741
build-model-states-explored 3729355 2728
build-model-states-explored 3732078 2723
build-model-states-explored 3734843 2765
build-model-states-explored 3737578 2735
build-model-states-explored 3740310 2732
build-model-states-explored 3743037 2727
build-model-states-explored 3745791 2754
build-model-states-explored 3748420 2629
build-model-states-explored 3751072 2652
build-model-states-explored 3753789 2717
build-model-states-explored 3756466 2677
build-model-states-explored 3759157 2691
build-model-states-explored 3761852 2695
build-model-states-explored 3764564 2712
build-model-states-explored 3767251 2687
build-model-states-explored 3769924 2673
build-model-states-explored 3772651 2727
build-model-states-explored 3775421 2770
build-model-states-explored 3778157 2736
build-model-states-explored 3780867 2710
build-model-states-explored 3783573 2706
build-model-states-explored 3786313 2740
build-model-states-explored 3789061 2748
build-model-states-explored 3791799 2738
build-model-states-explored 3794539 2740
build-model-states-explored 3797218 2679
build-model-states-explored 3799935 2717
build-model-states-explored 3802638 2703
build-model-states-explored 3805305 2667
build-model-states-explored 3808003 2698
build-model-states-explored 3810761 2758
build-model-states-explored 3813418 2657
build-model-states-explored 3816149 2731
build-model-states-explored 3818892 2743
build-model-states-explored 3821599 2707
build-model-states-explored 3824295 2696
build-model-states-explored 3826988 2693
build-model-states-explored 3829697 2709
build-model-states-explored 3832401 2704
build-model-states-explored 3835110 2709
build-model-states-explored 3837833 2723
build-model-states-explored 3840544 2711
build-model-states-explored 3843221 2677
build-model-states-explored 3845819 2598
build-model-states-explored 3848458 2639
build-model-states-explored 3851088 2630
build-model-states-explored 3853749 2661
build-model-states-explored 3856446 2697
build-model-states-explored 3859122 2676
build-model-states-explored 3861746 2624
build-model-states-explored 3864358 2612
build-model-states-explored 3867073 2715
build-model-states-explored 3869757 2684
build-model-states-explored 3872400 2643
build-model-states-explored 3875105 2705
build-model-states-explored 3877747 2642
build-model-states-explored 3880419 2672
build-model-states-explored 3883070 2651
build-model-states-explored 3885814 2744
build-model-states-explored 3888557 2743
build-model-states-explored 3891315 2758
build-model-states-explored 3894042 2727
build-model-states-explored 3896767 2725
build-model-states-explored 3899479 2712
build-model-states-explored 3902227 2748
build-model-states-explored 3904898 2671
build-model-states-explored 3907545 2647
build-model-states-explored 3910225 2680
build-model-states-explored 3912892 2667
build-model-states-explored 3915546 2654
build-model-states-explored 3918246 2700
build-model-states-explored 3920928 2682
build-model-states-explored 3923589 2661
build-model-states-explored 3926247 2658
build-model-states-explored 3928943 2696
build-model-states-explored 3931672 2729
build-model-states-explored 3934386 2714
build-model-states-explored 3937100 2714
build-model-states-explored 3939838 2738
build-model-states-explored 3942526 2688
build-model-states-explored 3945243 2717
build-model-states-explored 3947934 2691
build-model-states-explored 3950641 2707
build-model-states-explored 3953351 2710
build-model-states-explored 3956082 2731
build-model-states-explored 3958789 2707
build-model-states-explored 3961497 2708
build-model-states-explored 3964142 2645
build-model-states-explored 3966787 2645
build-model-states-explored 3969421 2634
build-model-states-explored 3972061 2640
build-model-states-explored 3974767 2706
build-model-states-explored 3977466 2699
build-model-states-explored 3980110 2644
build-model-states-explored 3982750 2640
build-model-states-explored 3985421 2671
build-model-states-explored 3988126 2705
build-model-states-explored 3990784 2658
build-model-states-explored 3993467 2683
build-model-states-explored 3996135 2668
build-model-states-explored 3998817 2682
build-model-states-explored 4001483 2666
build-model-states-explored 4004196 2713
build-model-states-explored 4006920 2724
build-model-states-explored 4009649 2729
build-model-states-explored 4012302 2653
build-model-states-explored 4014960 2658
build-model-states-explored 4017674 2714
build-model-states-explored 4020331 2657
build-model-states-explored 4023037 2706
build-model-states-explored 4025719 2682
build-model-states-explored 4028392 2673
build-model-states-explored 4031097 2705
build-model-states-explored 4033795 2698
build-model-states-explored 4036529 2734
build-model-states-explored 4039227 2698
build-model-states-explored 4041926 2699
build-model-states-explored 4044576 2650
build-model-states-explored 4047220 2644
build-model-states-explored 4049855 2635
build-model-states-explored 4052485 2630
build-model-states-explored 4055179 2694
build-model-states-explored 4057862 2683
build-model-states-explored 4060501 2639
build-model-states-explored 4063146 2645
build-model-states-explored 4065801 2655
build-model-states-explored 4068498 2697
build-model-states-explored 4071140 2642
build-model-states-explored 4073799 2659
build-model-states-explored 4076474 2675
build-model-states-explored 4079148 2674
build-model-states-explored 4081817 2669
build-model-states-explored 4084493 2676
build-model-states-explored 4087190 2697
build-model-states-explored 4089848 2658
build-model-states-explored 4092459 2611
build-model-states-explored 4095155 2696
build-model-states-explored 4097822 2667
build-model-states-explored 4100475 2653
build-model-states-explored 4103140 2665
build-model-states-explored 4105780 2640
build-model-states-explored 4108420 2640
build-model-states-explored 4111021 2601
build-model-states-explored 4113565 2544
build-model-states-explored 4116102 2537
build-model-states-explored 4118653 2551
build-model-states-explored 4121297 2644
build-model-states-explored 4123863 2566
build-model-states-explored 4126433 2570
build-model-states-explored 4129032 2599
build-model-states-explored 4131605 2573
build-model-states-explored 4134179 2574
build-model-states-explored 4136751 2572
build-model-states-explored 4139439 2688
build-model-states-explored 4142087 2648
build-model-states-explored 4144746 2659
build-model-states-explored 4147392 2646
build-model-states-explored 4150013 2621
build-model-states-explored 4152650 2637
build-model-states-explored 4155287 2637
build-model-states-explored 4157839 2552
build-model-states-explored 4160416 2577
build-model-states-explored 4163005 2589
build-model-states-explored 4165582 2577
build-model-states-explored 4168144 2562
build-model-states-explored 4170710 2566
build-model-states-explored 4173403 2693
build-model-states-explored 4176079 2676
build-model-states-explored 4178747 2668
build-model-states-explored 4181420 2673
build-model-states-explored 4184027 2607
build-model-states-explored 4186635 2608
build-model-states-explored 4189230 2595
build-model-states-explored 4191840 2610
build-model-states-explored 4194487 2647
build-model-states-explored 4197139 2652
build-model-states-explored 4199776 2637
build-model-states-explored 4202356 2580
build-model-states-explored 4205000 2644
build-model-states-explored 4207664 2664
build-model-states-explored 4210251 2587
build-model-states-explored 4212876 2625
build-model-states-explored 4215479 2603
build-model-states-explored 4218149 2670
build-model-states-explored 4220918 2769
build-model-states-explored 4223654 2736
build-model-states-explored 4226384 2730
build-model-states-explored 4229096 2712
build-model-states-explored 4231829 2733
build-model-states-explored 4234537 2708
build-model-states-explored 4237174 2637
build-model-states-explored 4239827 2653
build-model-states-explored 4242477 2650
build-model-states-explored 4245069 2592
build-model-states-explored 4247733 2664
build-model-states-explored 4250342 2609
build-model-states-explored 4252979 2637
build-model-states-explored 4255612 2633
build-model-states-explored 4258263 2651
build-model-states-explored 4260879 2616
build-model-states-explored 4263503 2624
build-model-states-explored 4266205 2702
build-model-states-explored 4268930 2725
build-model-states-explored 4271650 2720
build-model-states-explored 4274375 2725
build-model-states-explored 4277078 2703
build-model-states-explored 4279730 2652
build-model-states-explored 4282400 2670
build-model-states-explored 4285066 2666
build-model-states-explored 4287673 2607
build-model-states-explored 4290360 2687
build-model-states-explored 4292990 2630
build-model-states-explored 4295642 2652
build-model-states-explored 4298302 2660
build-model-states-explored 4300975 2673
build-model-states-explored 4303602 2627
build-model-states-explored 4306294 2692
build-model-states-explored 4309034 2740
build-model-states-explored 4311748 2714
build-model-states-explored 4314500 2752
build-model-states-explored 4317214 2714
build-model-states-explored 4319954 2740
build-model-states-explored 4322635 2681
build-model-states-explored 4325322 2687
build-model-states-explored 4328037 2715
build-model-states-explored 4330714 2677
build-model-states-explored 4333369 2655
build-model-states-explored 4336075 2706
build-model-states-explored 4338779 2704
build-model-states-explored 4341416 2637
build-model-states-explored 4344155 2739
build-model-states-explored 4346870 2715
build-model-states-explored 4349604 2734
build-model-states-explored 4352310 2706
build-model-states-explored 4355020 2710
build-model-states-explored 4357696 2676
build-model-states-explored 4360370 2674
build-model-states-explored 4363026 2656
build-model-states-explored 4365697 2671
build-model-states-explored 4368314 2617
build-model-states-explored 4370983 2669
build-model-states-explored 4373716 2733
build-model-states-explored 4376416 2700
build-model-states-explored 4379116 2700
build-model-states-explored 4381766 2650
build-model-states-explored 4384427 2661
build-model-states-explored 4387000 2573
build-model-states-explored 4389651 2651
build-model-states-explored 4392297 2646
build-model-states-explored 4394986 2689
build-model-states-explored 4397650 2664
build-model-states-explored 4400274 2624
build-model-states-explored 4402889 2615
build-model-states-explored 4405490 2601
build-model-states-explored 4408056 2566
build-model-states-explored 4410644 2588
build-model-states-explored 4413365 2721
build-model-states-explored 4416079 2714
build-model-states-explored 4418729 2650
build-model-states-explored 4421416 2687
build-model-states-explored 4424080 2664
build-model-states-explored 4426763 2683
build-model-states-explored 4429419 2656
build-model-states-explored 4432036 2617
build-model-states-explored 4434643 2607
build-model-states-explored 4437235 2592
build-model-states-explored 4439794 2559
build-model-states-explored 4442366 2572
build-model-states-explored 4445105 2739
build-model-states-explored 4447821 2716
build-model-states-explored 4450521 2700
build-model-states-explored 4453215 2694
build-model-states-explored 4455912 2697
build-model-states-explored 4458583 2671
build-model-states-explored 4461251 2668
build-model-states-explored 4463903 2652
build-model-states-explored 4466538 2635
build-model-states-explored 4469238 2700
build-model-states-explored 4471938 2700


----------
Computation aborted after 1800.1381392478943 seconds since the total time limit of 1800 seconds was exceeded.
Model:	pnueli-zuck v.1 (MDP)
Parameter(s)	N = 20
Property:	live (prob-reach)